package joc;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

@Target({ ElementType.METHOD })
public @interface PostCondition {
	Class<?>[] value();
}
